منابع مشابه
Constraints on determinism: Bell versus Conway–Kochen∗
Bell’s Theorem from 1964 and the (Strong) Free Will Theorem of Conway and Kochen from 2009 both exclude deterministic hidden variable theories (or, in modern parlance, ‘ontological models’) that are compatible with some small fragment of quantum mechanics, admit ‘free’ settings of the archetypal Alice&Bob experiment, and satisfy a locality condition called Parameter Independence. We clarify the...
متن کاملSome Remarks on Conway and Iteration Theories
We present an axiomatization of Conway theories which yields, as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms. It has been shown that most fixed point operations in computer science share the same equational properties. These equational properties are captured by the notion of iteration theories [1, 3]. Several axiomat...
متن کاملEquivalences and Congruences on Infinite Conway Games
The increasing use of games as a convenient metaphor for modeling interactions has spurred the growth of a broad variety of game definitions in Computer Science. Furthermore, in the presentation of games many related concepts are None has a unique definition. Some, but not always the same, are taken as primitive while the others are reduced to them. And many more properties need to be specified...
متن کاملConway and iteration hemirings
Conway hemirings are Conway semirings without a multiplicative unit. We also define iteration hemirings as Conway hemirings satisfying certain identities associated with the finite groups. Iteration hemirings are iteration semirings without a multiplicative unit. We provide an analysis of the relationship between Conway hemirings and (partial) Conway semirings and describe several free construc...
متن کاملConway Games, Coalgebraically
Using coalgebraic methods, we extend Conway’s original theory of games to include infinite games (hypergames). We take the view that a play which goes on forever is a draw, and hence rather than focussing on winning strategies, we focus on non-losing strategies. Infinite games are a fruitful metaphor for non-terminating processes, Conway’s sum of games being similar to shuffling. Hypergames hav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Contemporary European History
سال: 2004
ISSN: 0960-7773,1469-2171
DOI: 10.1017/s0960777303001486